Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
221	The Interaction of Representation and Reasoning Alan Bundy School of Informatics, University of Edinburgh UK Ontology Network Meeting Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2013-04-10 08:08:24 Automated theorem proving Logic programming Unification
222	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
223	Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-07-19 18:40:19 Mathematical proof Equational logic Proof theory Theorem Automated theorem proving Mathematical induction Logic Mathematics Mathematical logic
224	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
225	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
226	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions Serdar Erbatur1 , Santiago Escobar2 , Deepak Kapur3 , Zhiqiang Liu4 , Christopher Lynch4 , Catherine Meadows5 , Jos´e Meseguer6 , Paliath Nar Add to Reading List Source URL: csf2012.seas.harvard.edu Language: English - Date: 2012-07-05 18:15:10 Unification Irreducibility Universal algebra Science Philosophy Artificial intelligence Automated theorem proving Cognitive science Protocol analysis
227	BRICS BRICS NS-94-2 Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-04 07:20:36 Differential equation Problem solving Automated theorem proving Heuristics Rippling
228	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
229	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
230	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming

UPDATE